Logical framework

Results: 288



#Item
51A Meta Linear Logical Framework Andrew McCreight and Carsten Sch¨ urmann Yale University New Haven, CT, USA {aem|carsten}@cs.yale.edu

A Meta Linear Logical Framework Andrew McCreight and Carsten Sch¨ urmann Yale University New Haven, CT, USA {aem|carsten}@cs.yale.edu

Add to Reading List

Source URL: www.itu.dk

Language: English - Date: 2003-04-08 16:20:37
    52A Logical Framework for Monitoring and Evolving Software Components Howard Barringer and David Rydeheard School of Computer Science University of Manchester Oxford Road Manchester, M13 9PL, UK

    A Logical Framework for Monitoring and Evolving Software Components Howard Barringer and David Rydeheard School of Computer Science University of Manchester Oxford Road Manchester, M13 9PL, UK

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    Language: English - Date: 2007-04-07 09:00:45
      53

      LOGICAL FRAMEWORK FOR THE PROJECT Intervention logic Objectively verifiable indicators of achievement Sources and means of verification Assumptions Overall objectives Please list them and number them. What are the over

      Add to Reading List

      Source URL: zaklada.civilnodrustvo.hr

      Language: English - Date: 2013-05-27 07:10:11
        54LOGICAL FRAMEWORK APPROACH - a brief and basic introduction ON-LINE TRAINING SEMINAR 28 June 2007

        LOGICAL FRAMEWORK APPROACH - a brief and basic introduction ON-LINE TRAINING SEMINAR 28 June 2007

        Add to Reading List

        Source URL: seagull2.euroregionbaltic.eu

        Language: English - Date: 2011-06-10 07:20:48
          55Nancy-Universit´e – LORIA (INRIA) Superdeduction as a Logical Framework R´eunion des groupes de travail GEOCAL et LAC du GDR IM

          Nancy-Universit´e – LORIA (INRIA) Superdeduction as a Logical Framework R´eunion des groupes de travail GEOCAL et LAC du GDR IM

          Add to Reading List

          Source URL: www.ensiie.fr

          Language: English - Date: 2015-01-06 05:29:06
            56The Strength of Martin-Löf Type Theory with the Logical Framework (Work in Progress) Anton Setzer Swansea University, UK 1.

            The Strength of Martin-Löf Type Theory with the Logical Framework (Work in Progress) Anton Setzer Swansea University, UK 1.

            Add to Reading List

            Source URL: www.mathematik.uni-muenchen.de

            Language: English - Date: 2008-12-22 16:55:21
              57

              LOGICAL FRAMEWORK FOR THE PROJECT Intervention logic Objectively verifiable indicators of achievement Sources and means of verification Assumptions Overall objectives Please list them and number them. What are the over

              Add to Reading List

              Source URL: eaptc-ma.eu

              Language: English - Date: 2014-12-06 04:35:45
                58LOGICAL FRAMEWORK FOR THE PROJECT Intervention logic Overall objectives

                LOGICAL FRAMEWORK FOR THE PROJECT Intervention logic Overall objectives

                Add to Reading List

                Source URL: egypt-urban.net

                Language: English - Date: 2013-12-10 05:39:11
                59Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University

                Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University

                Add to Reading List

                Source URL: www.itu.dk

                Language: English - Date: 2002-08-02 07:15:47
                60Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006

                Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006

                Add to Reading List

                Source URL: www.itu.dk

                Language: English - Date: 2006-08-09 04:38:59